Unfold `tidentity` 0